41. Catalogue of Artificial Intelligence Tools
پدیدآورنده: edited by Alan Bundy, Lincoln Wallen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q336
.
E358
1984
42. Cellular automata :
پدیدآورنده: S. Bandini, R, Serra and F. Suggi Liverani (eds).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Automi cellulari -- Congressi -- 1998.,Congressi -- Trieste -- 1998.
رده :
QA267
.
5
.
C45
S236
1998
43. Cognitive Informatics and Soft Computing :
پدیدآورنده: Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
44. Computational Intelligence and Intelligent Systems :
پدیدآورنده: Zhihua Cai ... [et al.] (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer simulation.
45. Computational intelligence and big data analytics :
پدیدآورنده: Ch. Satyanarayana, Kunjam Nageswara Rao, Richard G. Bush.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Big data.,Computational intelligence.,Data mining.,Big Data.,Bioinformatics.,Biomedical Engineering/Biotechnology.,Information Systems Applications (incl. Internet),Mathematical Models of Cognitive Processes and Neural Networks.,Artificial intelligence.,Big data.,Biomedical engineering.,Computational intelligence.,COMPUTERS / General.,Data mining.,Databases.,Information retrieval.,Mathematical modelling.,Molecular biology.
رده :
Q342
46. Computational intelligence in music, sound, art and design :
پدیدآورنده: Antonios Liapis, Juan Jesús Romero Cardalda, Anikó Ekárt (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer art, Congresses.,Computer music, Congresses.,Evolutionary programming (Computer science), Congresses.,Natural computation, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computer art.,Computer music.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- User Interfaces.,Evolutionary programming (Computer science),Graphics programming.,Natural computation.,User interface design & usability.
رده :
QA76
.
618
47. Computational intelligence in sports /
پدیدآورنده: Iztok Fister, Iztok Fister, Jr., Dušan Fister.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computational intelligence.,Physical education and training-- Technological innovations.,Computational intelligence.
رده :
Q342
.
F57
2019
48. Computer Aided Systems Theory - EUROCAST '91 :
پدیدآورنده: by Franz Pichler, Roberto Moreno Diaz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Biology_xData processing.,Computer-aided design.
49. Computer Aided Verification :
پدیدآورنده: Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
50. Computer-Generated Images :
پدیدآورنده: edited by Nadia Magnenat-Thalmann, Daniel Thalmann.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer graphics.,Computer science.,Computer vision.
رده :
T385
.
E358
1985
51. Computer Vision - ECCV'92 :
پدیدآورنده: edited by G. Sandini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer graphics.,Computer science.
52. Computer aided verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, proceedings. Part I
پدیدآورنده: / edited by Isil Dillig, Serdar Tasiran.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Computer programs -- Verification -- Congresses.,Software engineering.,Computer science.,Computer science.,Computer programs.,Software engineering.
53. Connectomics in neuroimaging :
پدیدآورنده: Guorong Wu, Islem Rekik, Markus D. Schirmer, Ai Wern Chung, Brent Munsell (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Brain-- Imaging, Congresses.,Brain mapping, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Brain-- Imaging.,Brain mapping.,Computers-- Computer Graphics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.
رده :
RC386
.
6
.
B7
54. Creating Persian-like music using computational intelligence
پدیدآورنده: Arshi, Sahar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science
55. Cyber threat intelligence /
پدیدآورنده: Ali Dehghantanha, Mauro Conti, Tooska Dargahi, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security.,Internet-- Security measures.,Artificial intelligence.,Computer networking & communications.,Computer security.,Computer security.,COMPUTERS-- Security-- General.,Internet-- Security measures.,Network hardware.
رده :
QA76
.
9
.
A25
56. DNA computing and molecular programming :
پدیدآورنده: David Doty, Hendrik Dietz (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Molecular computers, Congresses.,Artificial Intelligence.,Coding and Information Theory.,Computation by Abstract Devices.,Computer Systems Organization and Communication Networks.,Image Processing and Computer Vision.,Logics and Meanings of Programs.,Artificial intelligence.,Coding theory & cryptology.,Computer networking & communications.,Computer programming-- software development.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Machine Theory.,Computers-- Programming-- General.,Image processing.,Molecular computers.,User interface design & usability.
رده :
QA76
.
887
.
I58
2018eb
57. Data and Image Domain Deep Learning for Computational Imaging
پدیدآورنده: Ghani, Muhammad Usman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Electrical engineering
58. Data and Image Domain Deep Learning for Computational Imaging
پدیدآورنده: Ghani, Muhammad Usman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence,Computer science,Electrical engineering
59. Data mining for geoinformatics :
پدیدآورنده: Guido Cervone, Jessica Lin, Nigel Waters, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Data mining,Geospatial data,Artificial Intelligence (incl. Robotics),Computer Science,Data Mining and Knowledge Discovery,Database Management,Earth Sciences, general,Geographical Information Systems/Cartography
رده :
G70
.
23
.
D38
2013
60. Data science for healthcare :
پدیدآورنده: Sergio Consoli, Diego Reforgiato Recupero, Milan Petković, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence-- Medical applications.,Medical informatics.,Artificial intelligence-- Medical applications.,Medical informatics.
رده :
R858
